Truth function

Results: 71



#Item
21Logic programming / Situation calculus / Logic in computer science / Action description language / Function / Fluent / Proposition / Truth / Logic / Mathematics / Philosophy

Artificial Intelligence[removed]–91 Formalizing sensing actions— A transition function based approach Tran Cao Son a,∗ , Chitta Baral b a Knowledge Systems Laboratory, Computer Science Department,

Add to Reading List

Source URL: centria.di.fct.unl.pt

Language: English - Date: 2009-09-27 08:43:51
22Predicate logic / Model theory / Philosophy of language / Semantics / First-order logic / Function / Proposition / Constructible universe / Quantification / Logic / Mathematical logic / Mathematics

On Specifying Truth-Conditions∗ Agust´ın Rayo Massachusetts Institute of Technology December 4, 2007 Consider a committalist—someone who believes that assertions of a sentence like ‘the number of the planets is 8

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2007-12-04 13:13:48
23Modal logic / Nothing / Vacuous truth / Veracity / Ordinal collapsing function / Mathematics / Logic / Mathematical logic

Explain how you feel about mathematics now as compared to before you took this class

Add to Reading List

Source URL: www.readwritethink.org

Language: English - Date: 2010-07-28 10:07:03
24Logical syntax / Propositional calculus / Philosophy of mathematics / Paradoxes / Liar paradox / Entailment / Truth / Function / Proposition / Logic / Philosophy / Philosophical logic

PDF Document

Add to Reading List

Source URL: www.mcmp.philosophie.uni-muenchen.de

Language: English - Date: 2014-01-14 06:12:47
25Analytic philosophy / Philosophy of language / Ontology / Semantics / Theories of truth / Proposition / Truth / Interpretation / Function / Logic / Philosophy / Philosophical logic

Fundamental and derivative truths J.R.G.Williams (May 1, 2009) Abstract This paper investigates the claim that some truths are fundamentally or really true—

Add to Reading List

Source URL: www.personal.leeds.ac.uk

Language: English - Date: 2009-05-01 09:15:40
26Philosophical logic / Philosophy of language / Veracity / Truth / Coherence theory of truth / Function / Modal logic / Proposition / Existential quantification / Logic / Theories of truth / Philosophy

  1 Recent work on alethic pluralism* NIKOLAJ JANG LEE LINDING PEDERSEN

Add to Reading List

Source URL: www.nikolajpedersen.com

Language: English - Date: 2012-06-25 02:30:28
27Deflationary theory of truth / Pluralism / Coherence theory of truth / Coherentism / Relativism / Religious views on truth / Function / Norm / Is–ought problem / Philosophy / Theories of truth / Truth

1 Introduction Nikolaj Jang Lee Linding Pedersen Yonsei University Cory D. Wright

Add to Reading List

Source URL: www.nikolajpedersen.com

Language: English - Date: 2012-08-12 22:22:55
28Philosophy of language / Logical syntax / Model theory / Interpretation / Modal logic / Entailment / Golden ratio / Function / Proposition / Logic / Philosophical logic / Propositional calculus

The Real Truth About the Unreal Future∗* Rachael Briggs and Graeme A. Forbes April 13, 2010 Recent times have been very much focussed on the future. The election of Barack Obama in America was accompanied by a wave of

Add to Reading List

Source URL: www.marcsandersfoundation.org

Language: English - Date: 2013-08-20 14:14:47
29Quantification / Ontology / Mathematical logic / Propositional calculus / Philosophical logic / Existential quantification / Existence / Function / Truth / Logic / Philosophy / Mathematics

A Puzzle Concerning Ground

Add to Reading List

Source URL: philosophy.fas.nyu.edu

Language: English - Date: 2011-04-22 09:34:20
30Philosophy of language / Philosophical logic / Meaning / Semantics / Philosophers of mathematics / Gottlob Frege / Sense and reference / Function / Truth / Philosophy / Analytic philosophy / Logic

EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 1 Frege, G. 1 Russell, B.

Add to Reading List

Source URL: www.ffri.hr

Language: English - Date: 2014-07-09 05:48:19
UPDATE